Dynamic Context Adaptation: a Formal Framework
نویسندگان
چکیده
Multimedia documents are collections of media objects, synchronized by means of sets of temporal and spatial constraints. Any multimedia document definition is valid as long as the referred media objects are available and the constraints are satisfiable. Document validity depends on the context in which the document has to be presented. Adaptation techniques are used when a document is not properly presentable in a given context. They adjust the document specification and return a version of the document that satisfies to the best both the author’s specifications, given the current context. In this paper, we introduce a formal framework to characterize context adaptation, in the presence of both physical and user oriented context requirements. We formally characterize undeliverable fragments of a document and define semantically equivalent presentation fragments as alternative to undeliverable ones. In the absence of equivalence, undeliverable media are replaced with candidates that minimize the loss of information/quality in the presentation.
منابع مشابه
CAMAC: a context-aware mandatory access control model
Mandatory access control models have traditionally been employed as a robust security mechanism in multilevel security environments such as military domains. In traditional mandatory models, the security classes associated with entities are context-insensitive. However, context-sensitivity of security classes and flexibility of access control mechanisms may be required especially in pervasive c...
متن کاملA context-sensitive dynamic role-based access control model for pervasive computing environments
Resources and services are accessible in pervasive computing environments from anywhere and at any time. Also, due to ever-changing nature of such environments, the identity of users is unknown. However, users must be able to access the required resources based on their contexts. These and other similar complexities necessitate dynamic and context-aware access control models for such environmen...
متن کاملChisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework
We argue that the software user, the developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear how software should adapt itself to changing requirements and changing context. We present Chisel, an open framework for dynamic adaptation of services using reflection in a policy-driven, context-aware manner. The system is based on decomposing the pa...
متن کاملFile of “ Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments ”
In our paper “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments”, we propose the Property Detection for Asynchronous Context (PDAC) framework to support formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments. Three essential parts of the framework are discussed: modeling of...
متن کاملFrom Model-Based Design to Formal Verification of Adaptive Embedded Systems
Adaptation is important in dependable embedded systems to cope with changing environmental conditions. However, adaptation significantly complicates system design and poses new challenges to system correctness. We propose an integrated model-based development approach facilitating intuitive modelling as well as formal verification of dynamic adaptation behaviour. Our modelling concepts ease the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005